Automatic Test Generation for Java-Card Applets
نویسندگان
چکیده
Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet validation. In this article, we describe a methodology for Java Card applet verification, and its application on a case study. This methodology is based on automatic test generation. We first take benefits of the Java Card platform validation, focusing on application conformity testing. Then, using UML, we model the applet and its probable communication with other embedded elements. In the next step, the resulting model is used to automatically generate test suites, using UMLAUT and TGV tools. The full process is iterative and incremental, in order to conform to an object-oriented approach. Moreover, this incremental process allows integrating priorities on validation, by focusing first on main functions and properties.
منابع مشابه
Toward Automatic Generation of Provably Correct Java Card Applets
This paper overviews an ongoing project aimed at developing an automatic generator of Java Card applets from higher-level spec(ification)s written in a domain-specific language called “SmartSlang”. The generator is based on Specware, a system for the formal specification and refinement of software. The applet generator translates a SmartSlang spec into the logical language of Specware, re-expre...
متن کاملExperimental Comparison of Concolic and Random Testing for Java Card Applets
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces LIME Concolic Tester (LCT), an open source concolic testing tool for sequential Java programs. It discusses the design choices behind LCT as well as its use in automated unit test generation for the JUnit testing framework. As the main...
متن کاملStatic program analysis of multi-applet JavaCard applications
Java Card provides a framework of classes and interfaces that hides the details of the underlying smart card interface and makes it possible to load and run on the same card several applets, from different application providers with complex trust relationships. This fact opens prospects for new business applications, but the card issuer has to secure absence of malicious or faulty card applets....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000